# This file is an awk program which extracts all lines from a file that are
# surrounded by lines beginning with the patterns '# begin' and '# end'
# It also extracts the first field from each line which is assumed to be a '#'

/# begin/, /# end/ { $1 = ""; print $0 }
